operational semantics
英 [ˌɒpəˈreɪʃənl sɪˈmæntɪks]
美 [ˌɑːpəˈreɪʃənl sɪˈmæntɪks]
操作语义
双语例句
- A BLA definition provides operational semantics for its constituent parts.
BLA定义为其构成部分提供了操作语义。 - There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。 - The description of each operation includes a Query Tuner access path graph that explains its operational semantics.
每一个操作的描述都包括一个解释其操作语义的QueryTuner访问路径图。 - Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证 - All the laws presented above are sound with respect to the operational semantics, i.e., if the two processes are the two sides of a law, then they are bisimilar.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。 - An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined;
通过一个三元组给出了DFL程序设计语言的操作语义模型； - An Operational Semantics of Verilog
Verilog的一个操作语义模型 - A shared variable language with process creation is defined in this paper. Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model.
针对一个基于共享变量的带有进程创建的命令式语言，用变迁系统描述了它的结构操作语义，并用扩展的状态变迁迹模型定义了它的指称语义。 - Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义 - Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。 - It was introduced syntax and operational semantics of π-calculus and the system was described as expression of process algebra.
在简单介绍π-演算的语法和操作语义的基础上，用进程表达式对整个系统进行形式化的描述； - This paper presents an operational semantics of Verilog.
提出了一个Verilog的操作语义模型。 - Imperative Operational Semantics in Type Theory
命令的操作语义在类型系统中的一种表示 - This paper defines the purely functional channel system operations based on a monad which is combined a state transformer monad with a exception monad. The operational semantics of channel system operations have been given for using.
该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作，给出了通道系统操作的操作语义。 - Using syntax of IMP, the operational semantics of repeat-until loop statement is given first, then the denotational semantics of repeat-until loop statement is deduced, and finally the equivalence of them is proved in detail.
本文使用简单的命令式语言IMP的语法，首先给出了repeat-until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性。 - Operational semantics based cooperative design of AutoCAD
基于操作语义的AutoCAD协同设计的实现 - Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明； - The correctness and reliability of the operational semantics model were proved by Hoare logic and denotational semantics.
通过Hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。 - Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。 - Research on structured operational semantics of UML sequence diagram
UML顺序图的结构化操作语义研究 - Providing of formal semantic definitions of concurrent program languages is one of the most active areas of today's researching work on semantics. Formal operational semantics provide a direct basis for a precise realization of a program language.
并发程序设计语言的形式语义定义，是当今语义学研究中比较活跃的领域之一，语言的形式操作语义为语言的准确实现，提供直接的依据。 - Study on the Operational Semantics of Verilog
Verilog操作语义研究 - The author gives the operational semantics of RC instructions, discusses formally the two execution modes of RC language and proves that they are equivalent and can be switched freely.
作者给出了RC指令的操作语义，形式化地讨论了RC语言的两种执行方式，证明了两种执行过程是等价的并可以自由切换。 - Our proof framework supports Hoare-logic style reasoning. In addition, we use high-order logic to describe both operational semantics and safety policy.
我们采用Hoare风格的推导方式，使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略。 - We describe the structure and process models using process-algebra-based language ( including its syntax and operational semantics), and then provide the description specification ( textual and graphical) on the model.
使用进程代数的语言描述结构和过程模型（包括语法和操作语义），并在此模型基础上给出安全软件体系结构的描述规约，规约有文本表示和图形表示两种形式。 - Precisely, we define a subset of Java virtual machine language ( JVML), present a type system and an operational semantics for the subset, and prove the soundness of the type system with respect to the operational semantics.
具体地，本文定义了Java虚拟机语言（JVML）的一个子集，给出了该子集的类型系统和操作语义，并根据操作语义证明了该类型系统的可靠性。 - Use operational semantics as tools to proof definiteness and terminability of SPL expressions, so security of SPL is guaranteed.
本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。 - Moreover, we give a formal operational semantics of the calculus in terms of the labeled transition system. Moreover, we define the notion of open bisimulation and prove it to be a congruence relation.
此外，我们以标签变迁系统的形式给出了演算的形式化操作语义，还定义了开放互模拟的概念并证明该互模拟关系是同余关系。 - Bi-simulation was usually used for proving operational semantics.
以前对于指称语义的证明许多都是通过手工逻辑推理验证的，对于操作语义常是用基于双向模拟的方法验证。 - We firstly consider the animation of operational semantics for BPEL.
我们首先仿真了BPEL的操作语义。